time translation symmetry